Climatological characteristics of high altitude wind shear and lapse rate layers

Indications of the climatological distribution of wind shear and temperature lapse and inversion rates as observed by rawinsonde measurements over the western United States are recorded. Frequencies of the strongest shear, lapse rates, and inversion layer strengths were observed for a 1 year period of record and were tabulated for the lower troposphere, the upper troposphere, and five altitude intervals in the lower stratosphere. Selected bivariate frequencies were also tabulated. Strong wind shears, lapse rates, and inversion are observed less frequently as altitude increases from 175 millibars to 20 millibars. On a seasonal basis the frequencies were higher in winter than in summer except for minor influences due to increased tropopause altitude in summer and the stratospheric wind reversal in the spring and fall

A Hybrid Analysis for Security Protocols with State

Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complete that session. However, in some protocols a principal also uses state to coordinate its different local sessions. Sometimes the non-local, mutable state is used as a means, for example with smart cards or Trusted Platform Modules. Sometimes it is the purpose of running the protocol, for example in commercial transactions. Many richly developed tools and techniques, based on well-understood foundations, are available for design and analysis of pure message-passing protocols. But the presence of cross-session state poses difficulties for these techniques. In this paper we provide a framework for modeling stateful protocols. We define a hybrid analysis method. It leverages theorem-proving---in this instance, the PVS prover---for reasoning about computations over state. It combines that with an "enrich-by-need" approach---embodied by CPSA---that focuses on the message-passing part. As a case study we give a full analysis of the Envelope Protocol, due to Mark Ryan

The New World of Electoral Politics and What It Means: An Introductory Essay

The Emory Corporate Governance and Accountability Review (\u27ECGAR\u27) could not let this election cycle slip by without a substantive discussion of at least some of the issues that may be important to Americans, those who will serve as legislators, and the ranks of the new administration. The word \u27accountability\u27 in our review\u27s name provides, where necessary, a broad mandate to discuss issues of public importance (although some of these issues may relate to corporations only tangentially). Discussions of the environment, global warming, labor and employment, and (by some accounts) our broken healthcare system are within the essays published here. This dialogue is merely the start of a larger conversation. Still, this Issue is the largest single Issue of any law review published by Emory University School of Law since its founding exactly a century ago

A comparative study for the pair-creation contact process using series expansions

A comparative study between two distinct perturbative series expansions for the pair-creation contact process is presented. In contrast to the ordinary contact process, whose supercritical series expansions provide accurate estimates for its critical behavior, the supercritical approach does not work properly when applied to the pair-creation process. To circumvent this problem a procedure is introduced in which one-site creation is added to the pair-creation. An alternative method is the generation of subcritical series expansions which works even for the case of the pure pair-creation process. Differently from the supercritical case, the subcritical series yields estimates that are compatible with numerical simulations

Generic Subsequence Matching Framework: Modularity, Flexibility, Efficiency

Subsequence matching has appeared to be an ideal approach for solving many problems related to the fields of data mining and similarity retrieval. It has been shown that almost any data class (audio, image, biometrics, signals) is or can be represented by some kind of time series or string of symbols, which can be seen as an input for various subsequence matching approaches. The variety of data types, specific tasks and their partial or full solutions is so wide that the choice, implementation and parametrization of a suitable solution for a given task might be complicated and time-consuming; a possibly fruitful combination of fragments from different research areas may not be obvious nor easy to realize. The leading authors of this field also mention the implementation bias that makes difficult a proper comparison of competing approaches. Therefore we present a new generic Subsequence Matching Framework (SMF) that tries to overcome the aforementioned problems by a uniform frame that simplifies and speeds up the design, development and evaluation of subsequence matching related systems. We identify several relatively separate subtasks solved differently over the literature and SMF enables to combine them in straightforward manner achieving new quality and efficiency. This framework can be used in many application domains and its components can be reused effectively. Its strictly modular architecture and openness enables also involvement of efficient solutions from different fields, for instance efficient metric-based indexes. This is an extended version of a paper published on DEXA 2012.Comment: This is an extended version of a paper published on DEXA 201

Psychosocial outcomes of an inclusive adapted sport and adventurous training course for military personnel.

PURPOSE: To explore the psychosocial outcomes of an inclusive adapted sport and adventurous training course that aims to support the rehabilitation and personal development of military personnel who have sustained physical and/or psychological disability. METHOD: Narrative life story interviews were conducted with 11 men aged 20-43 taking part in one of the 5-day courses. A thematic narrative analysis was conducted, focusing on accounts that provided insights into personally meaningful psychosocial outcomes of the course. FINDINGS: We identified six themes, falling into two distinct clusters. "Bringing me back to myself" was achieved through the themes of (1) returning to activity, (2) rediscovering a sense of purpose, and (3) reconnecting to others. "New rooms to explore" was realised through (4) experiencing new activities, (5) being valued/respected/cared for and (6) being inspired by other people. CONCLUSION: Involvement in the course stimulated a balance of present- and future-oriented psychosocial outcomes through which participants both recreated aspects of themselves that had been lost through injury/trauma and moved forward with their lives as a result of new horizons of possibility. IMPLICATIONS FOR REHABILITATION: This 5-day inclusive adapted sport and adventurous training course offered meaningful psychosocial outcomes among military personnel who had experienced physical and/or psychological disability. The course helped participants recover aspects of their previous life and self through becoming physically active again, rediscovering a sense of purpose and reconnecting to others. Participants describe a broadening of life horizons as a result of the course, through new activities, being valued/respected/cared for, and being inspired by other people

Shigella flexneri utilize the spectrin cytoskeleton during invasion and comet tail generation

<p>Abstract</p> <p>Background</p> <p>The spectrin cytoskeleton is emerging as an important host cell target of enteric bacterial pathogens. Recent studies have identified a crucial role for spectrin and its associated proteins during key pathogenic processes of <it>Listeria monocytogenes </it>and <it>Salmonella </it>Typhimurium infections. Here we investigate the involvement of spectrin cytoskeletal components during the pathogenesis of the invasive pathogen <it>Shigella flexneri.</it></p> <p>Results</p> <p>Immunofluorescent microscopy reveals that protein 4.1 (p4.1), but not adducin or spectrin, is robustly recruited to sites of <it>S. flexneri </it>membrane ruffling during epithelial cell invasion. Through siRNA-mediated knockdowns, we identify an important role for spectrin and the associated proteins adducin and p4.1 during <it>S. flexneri </it>invasion. Following internalization, all three proteins are recruited to the internalized bacteria, however upon generation of actin-rich comet tails, we observed spectrin recruitment to those structures in the absence of adducin or p4.1.</p> <p>Conclusion</p> <p>These findings highlight the importance of the spectrin cytoskeletal network during <it>S. flexneri </it>pathogenesis and further demonstrate that pathogenic events that were once thought to exclusively recruit the actin cytoskeletal system require additional cytoskeletal networks.</p